\documentclass[a4paper]{article}
\usepackage{beamerarticle}
\usepackage{amsmath}
\usepackage{pxfonts}
%\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{stmaryrd}
\usepackage{fakeMnSymbol}
\usepackage[square, sort, numbers, authoryear]{natbib}
\renewcommand{\wp}{\MNSpowerset}

%% Fucking \ll used by fucking applied mathematicians... I'm
%% redefining it ~Matt
\renewcommand{\ll}{\llbracket}
\newcommand{\rr}{\rrbracket}

%% To be stylistically coherent, we are only going to use varphi
\renewcommand{\phi}{\varphi}

%% I propose we use Henk Barendregt notation for the
%% partial orders.  That means squaresubeq and friends ~Matt
\newcommand{\sleq}{\sqsubseteq}
\newcommand{\sgeq}{\sqsupseteq}

%% To resolve conflicts, Daan and I have decided that we'll
%% going to use the following symbol for gillies conditional ~Matt
\newcommand{\gillies}{\Rrightarrow}

%% Setting the QED Symbol ~Matt
\renewcommand{\qedsymbol}{\textsquare}

%% vfill and vspace don't look good in articles ~Matt
\renewcommand{\vfill}{\par}
\newcommand{\mvspace}[1]{\par}

%% Miniheaders for proofs are annoying in article mode
%% so hide them (made a dummy command for proof frametitles)
%% ~Matt
\newcommand{\proofframetitle}[1]{}

%% In the handout, we want to hide frametitles occasionally, so 
%% I've marked the ones I don't think should show up
%% ~Matt
\newcommand{\hframetitle}[1]{}

\newcommand{\blitz}{\MNSlightning}

%% LaTeX wastes too much margin by default. 
%% Also, LaTeX's  default spacing behavior for paragraphs sucks. ~Matt
\textwidth = 6.5 in
\textheight = 8.5 in
\oddsidemargin = 0.0 in
\evensidemargin = 0.0 in
\topmargin = 0.0 in
\headheight = 0.0 in
\headsep = 0.0 in
\parskip = 0.1in
\parindent = 0.0in

\input{presentation.tex}
